1. Methods of programming : selected papers on the CIP-project
پدیدآورنده : M. Broy, M. Wirsing )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer programming
رده :
QA
76
.
L28
Vol
.
544
2. Model-driven development of reliable automotive services : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006 : revised selected papers
پدیدآورنده : Broy, M
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Automobiles -- Software -- Design -- Congresses,، Automobiles -- Electronic equipment -- Congresses,، Automotive computers -- Congresses
رده :
TJ
211
.
47
.
M84
2008
3. Program Construction :
پدیدآورنده : edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Programmation (Informatique)
رده :
QA76
.
6
E358
1979
4. Program construction : International Summer School
پدیدآورنده : F.L. Bauer...]et al.[; edited by F.L. Bauer, M. Broy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Computer programming
رده :
QA
76
.
L28
Vol
.
69
5. Program construction : international summer school
پدیدآورنده : F. L. Bauer ... )et al.( ; edited by F. L. Bauer and M. Broy
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Addresses, essays, lectures ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
69
